Methoden der Differenzdruckmessung

Methoden der Diskreten Mathematik bei

Formale Methoden der Künstlichen Intelligenz

Aufgrund der zunehmenden Komplexität von Hardund Softwaresystemen werden computergestützte formale Methoden in der Zukunft immer weiter an Bedeutung zunehmen. Aufgabe dieser Methoden ist es, menschlichen Benutzern bei der Verifikation und Synthese von Computersystemen auf intelligente Weise zu assistieren. In diesem Artikel werden Ziele, Herausforderungen und Entwicklungen im Bereich formaler M...

Methoden als Theorien der Wirtschaftsinformatik

Prüfung der Biokompatibilität von Implantatwerkstoffen mit Methoden der digitalen Bildverarbeitung

iii

Moderne Methoden der Ventilationsauslegung von Pumpspeichergeneratoren

Numerische Methoden der Ventilationsauslegung von Hydrogeneratoren werden kontinuierlich verbessert. Die vorliegende Arbeit zeigt eine qualitative Momentaufnahme des Entwicklungsstatus und einen Ausblick der Weiterentwicklung in Andritz Hydro durch eine komprimierte Darstellung Anwender-relevanter und kritischer Eigenschaften der Methoden. Pumpspeichergeneratoren (meist Grenzleistungs-Hydrogene...